int randInt(int state0);
void  input(char *message);
void input_0(char *message);